home *** CD-ROM | disk | FTP | other *** search
/ PC World Komputer 2010 April / PCWorld0410.iso / pluginy Firefox / 60 / 60.xpi / chrome / webdeveloper.jar / content / webdeveloper / options / pages / general.xul < prev    next >
Encoding:
Extensible Markup Language  |  2009-06-30  |  1.8 KB  |  37 lines

  1. <?xml version="1.0"?>
  2. <?xml-stylesheet href="chrome://webdeveloper/content/options/options.css" type="text/css"?>
  3.  
  4. <!DOCTYPE page SYSTEM "chrome://webdeveloper/locale/options.dtd">
  5.  
  6. <page onload="parent.webdeveloper_initializeGeneral()"
  7.       xmlns="http://www.mozilla.org/keymaster/gatekeeper/there.is.only.xul">
  8.  
  9.     <groupbox>
  10.         <caption label="&webdeveloper.general.caption;"/>
  11.         <checkbox id="webdeveloper.context.hide" label="&webdeveloper.context.hide;"/>
  12.         <checkbox id="webdeveloper.menu.hide" label="&webdeveloper.menu.hide;"/>
  13.         <checkbox id="webdeveloper.confirmation.dialogs.hide" label="&webdeveloper.confirmation.dialogs.hide;"/>
  14.         <checkbox id="webdeveloper.informational.dialogs.hide" label="&webdeveloper.informational.dialogs.hide;"/>
  15.         <separator/>
  16.         <hbox align="center">
  17.             <label control="webdeveloper.toolbar.icons" value="&webdeveloper.toolbar.icons;"/>
  18.             <menulist id="webdeveloper.toolbar.icons">
  19.                 <menupopup>
  20.                     <menuitem label="&webdeveloper.icons.text;" value="full"/>
  21.                     <menuitem label="&webdeveloper.icons;" value="icons"/>
  22.                     <menuitem label="&webdeveloper.text;" value="text"/>
  23.                 </menupopup>
  24.             </menulist>
  25.         </hbox>
  26.     </groupbox>
  27.     <groupbox>
  28.         <caption label="&webdeveloper.tabs.windows.caption;"/>
  29.         <checkbox id="webdeveloper.open.tabs" label="&webdeveloper.open.tabs;" oncommand="parent.webdeveloper_updateTabOptionStatus()"/>
  30.         <checkbox id="webdeveloper.open.tabs.background" class="indent" label="&webdeveloper.open.tabs.background;"/>
  31.     </groupbox>
  32.     <separator/>
  33.     <hbox>
  34.         <button label="&webdeveloper.options.reset;" oncommand="parent.webdeveloper_resetOptions()"/>
  35.         <spacer flex="1"/>
  36.     </hbox>
  37. </page>